<p class="timer">Pagina
<?php
	global $timer;
	$timer->stop();
	echo $timer->getTime();
?>s
</p>

</body>
</html>